Josef MANN. Ein Nachruf. 1 Tafel

Roland Mittermeir: ein Nachruf

Am 19. Juni 2014, wenige Tage nach seinem 64. Geburtstag, ist Roland Mittermeir gestorben. Sein Tod trifft nicht nur seine Familie und Freunde, sondern auch alle, die sich im deutschsprachigen Raum dem Fach Software Engineering zugehörig fühlen. Roland Mittermeir wurde 1950 in Wien geboren und hat seine Jugend in Purkersdorf bei Wien verbracht. Nach Hauptschule und Lehre schrieb er sich an der ...

Nachruf Malcolm Hyman

ebenso rasch muss man von den Kommentaren wieder zurück auf die Ergebnisse gelangen können – ohne künstliche Medienbrüche und mit einem Maximum an Transparenz und Verlässlichkeit. Was wir brauchen, sind Möglichkeiten für ein ständiges Hochund Herunterklettern auf dem Baum der Erkenntnis, der sich im neuen Medium sehr viel besser abbilden lässt als im alten. Auf diese Weise würden auch Forschung...

Order Sorted Quotient Algebra 1 Josef Urban

Let R be a non empty poset and let A, B be many sorted sets indexed by R. One can check that every many sorted relation between A and B which is os-compatible is also order-sorted. Let R be a non empty poset and let A be a many sorted set indexed by the carrier of R. An order sorted relation of A is an order sorted relation of A, A. Let S be an order sorted signature and let U1 be an order sort...

Order Sorted Algebras 1 Josef Urban

Let I be a set, let f be a many sorted set indexed by I, and let p be a finite sequence of elements of I. Observe that f · p is finite sequence-like. Let S be a non empty many sorted signature. A sort symbol of S is an element of S. Let S be a non empty many sorted signature. An operation symbol of S is an element of the operation symbols of S. Let S be a non void non empty many sorted signatur...

Josef Richter